6dfb4bce8ca47f35b639542add81c099d0ebffd3,src/main/java/org/sdmlib/models/pattern/ReachabilityGraph.java,ReachabilityGraph,explore,#number#Searchmode#,637
Before Change
// no isomorphic old state, add new state
this.withStates(newReachableState).withTodo(newReachableState).withStateMap(newCertificate,
newReachableState);
current.createRuleapplications().withDescription("" + rule.getName()).withTgt(newReachableState);
int size = this.getStates().size();
// progress bar, 30 steps
if (maxNoOfNewStates < 30 || size % (maxNoOfNewStates / 30) == 0 || changedIgnoreString)
After Change
// no isomorphic old state, add new state
this.withStates(newReachableState).withTodo(newReachableState).withStateMap(newCertificate,
newReachableState);
current.createRuleapplications().withRule(rule).withDescription("" + rule.getName()).withTgt(newReachableState);
int size = this.getStates().size();
// progress bar, 30 steps
if (maxNoOfNewStates < 30 || size % (maxNoOfNewStates / 30) == 0 || changedIgnoreString)